Modify header-reading code to better handle different variants of .mps files
authorparkrrrr <parkrrrr>
Sat, 19 Jul 2003 16:26:01 +0000 (16:26 +0000)
committerparkrrrr <parkrrrr>
Sat, 19 Jul 2003 16:26:01 +0000 (16:26 +0000)
commitd6620d317fd22fdb7e2c590e583d09210a7a0534
tree6893654b4036faf5574eb3bb19592f8ba67557c3
parentd1bcda0402cbc5b771a6defb3115c2fc21dfec69
Modify header-reading code to better handle different variants of .mps files
mapsource.c